First-order logic
[计] 一阶逻辑
🧩 词语组成解析
first
[fɝst]
n. 第一，最初;头等;一号，;[乐]高音部;
adv. 最早，最初;首次;宁愿;优先;
adj. 第一流的;最初的，最早的;基本的，概要的;高音的;
num. 第一;
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
logic
['lɔdʒik]
n. 逻辑，逻辑学;（做某事的）道理;推理方法;威力，压力，强制（力）;
adj. 逻辑的;
🗣️ 情景例句
And you never know
而你永远也猜不到
Call me not olive till thou see me gathered.
盖棺论定。
History does not relate whether his friend accepted his medical help, but in all probability he did.
他的朋友是否接受了他的药物治疗，历史没有记载，但很可能是接受了。